Самая большая электронная библиотека рунета. Поиск книг и журналов

Reactive systems: modelling, specification and verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.97 Mb

Reactive Systems: Modelling, Specification and Verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.92 Mb

Automata, Languages and Programming, 25 conf., ICALP'98

Автор: , Автор: , Автор:
Размер книги: 6.24 Mb

CONCUR 2001 - Concurrency Theory, 12 conf

Автор: , Автор:
Размер книги: 6.58 Mb

Computer Aided Verification, 14 conf., CAV 2002

Автор: , Автор:
Размер книги: 5.01 Mb

Computer Aided Verification, 3 conf., CAV '91

Автор: , Автор:
Размер книги: 4.42 Mb

Principles of Model Checking

Автор: , Автор: , Автор:
Категория: Computer science
Размер книги: 17.08 Mb

Reactive Systems: Modelling, Specification and Verification

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.86 Mb